#ifndef _IRQ_GIC_COMMON_H
#define _IRQ_GIC_COMMON_H

#include <linux/init.h>
#include <linux/io.h>
#include <linux/of.h>
#include <linux/irqdomain.h>

int gic_configure_irq(unsigned int irq, unsigned int type, void __iomem *base, void (*sync_access)(void));
void gic_dist_config(void __iomem *base, int gic_irqs, void (*sync_access)(void));
void gic_cpu_config(void __iomem *base, void (*sync_access)(void));

#endif /* _IRQ_GIC_COMMON_H */
